(0 20 15)(1 19 17)(2 9 7)(3 12 5)(4 14 6)(8 13 10)(11 18 16)
ALLOWS (11/8)-SEQUENCE
1: (3 12 17)

(0 20 15)(1 19 17 5 3)(2 9 7)(4 14 6)(8 13 10)(11 18 16)(12)
2: (11 18 16)

(0 20 15)(1 19 17 5 3)(2 9 7)(4 14 6)(8 13 10)(11)(12)(16)(18)
3: (5 19 17)

(0 20 15)(1 19 3)(2 9 7)(4 14 6)(5)(8 13 10)(11)(12)(16)(17)(18)
4: (4 14 6)

(0 20 15)(1 19 3)(2 9 7)(4)(5)(6)(8 13 10)(11)(12)(14)(16)(17)(18)